optional algebra

См. также в других словарях:

• Optional Sampling Theorem — Das Optional Sampling Theorem (auch Optional Stopping Theorem) ist eine auf Joseph Doob zurückgehende wahrscheinlichkeitstheoretische Aussage. Eine populäre Version dieses Theorems besagt, dass es bei einem fairen, sich wiederholenden Spiel keine …   Deutsch Wikipedia

• Relational algebra — Not to be confused with Relation algebra. Relational algebra, an offshoot of first order logic (and of algebra of sets), deals with a set of finitary relations (see also relation (database)) that is closed under certain operators. These operators …   Wikipedia

• Goodman-Nguyen-van Fraassen algebra — A Goodman Nguyen van Fraassen algebra is a type of conditional event algebra (CEA) that embeds the standard Boolean algebra of unconditional events in a larger algebra which is itself Boolean. The goal (as with all CEAs) is to equate the… …   Wikipedia

• San Pablo City National High School — Mataas na Paaralang Pambansa ng Lungsod ng San Pablo Location F. Mariño St., Lakeside Park Subdivision, Barangay VI D San Pablo City, Laguna, Philippines Information …   Wikipedia

• SQL — This article is about the database language. For the airport with IATA code SQL, see San Carlos Airport. SQL Paradigm(s) Multi paradigm Appeared in 1974 Designed by Donald D. Chamberlin Raymond F. Boyce Developer …   Wikipedia

• Romanian educational system — According to the Law on Education adopted in 1995, the Romanian Educational System is regulated by the Ministry of Education and Research ( Ministerul Educaţiei şi Cercetării MEC ). Each level has its own form of organization and is subject to… …   Wikipedia

• ACT (examination) — The ACT is a standardized achievement examination for college admissions in the United States produced by ACT, Inc.cite web |url=http://www.act.org/aboutact/history.html |title=About ACT: History |accessdate=October 25 |accessyear=2006 Name… …   Wikipedia

• Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… …   Wikipedia

• Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline …   Wikipedia

• Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… …   Wikipedia

• Ninth grade — is the ninth post kindergarten year of school education in some school systems. The students are 14 to 15 years of age, depending on when their birthday occurs. Depending on the school district, ninth grade is usually the first year of high… …   Wikipedia